(watch all)
(reset)

(defrule rule-1
  (logical (faucet-open))
  =>
  (assert (water-flowing))
)

(assert (faucet-open))

(run)
(watch facts)